Botho Strauss: beeld en taal

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

Model transformations support a model-driven design by providing an automatic translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful application of model transformations is their correctness, in the sense that the meaning (semantics) of the models is preserved. This is especially important if the models not only describe the structure but al...

Churg-Strauss syndrome.

Strauss: a Specification Miner

Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...

Churg-strauss syndrome.

First described in 1951 as an allergic and granulomatous angiitis, Churg-Strauss syndrome (CSS) is a small-vessel vasculitis. Mean age at the time of diagnosis is approximately 50 years, with a sex ratio around 1. Asthma is the central feature of CSS and precedes the systemic manifestations in almost all cases, whereas 70% of the patients have maxillary sinusitis, allergic rhinitis, and/or sinu...

Churg-Strauss Syndrome

Pulmonary: asthma, pneumonitis and haemoptysis. Upper respiratory tract: allergic rhinitis, paranasal sinusitis, nasal polyposis. Cardiac involvement is common. [6]This includes heart failure, myocarditis and myocardial infarction. [7] Skin: purpura, skin nodules, leukocytoclastic angiitis with palpable purpura, livedo reticularis, urticaria, necrotic bullae and digital ischaemia. Renal: glomer...